Knowledge and communication: A first-order theory
نویسندگان
چکیده
منابع مشابه
Knowledge and communication: A first-order theory
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of events, including other communicative acts; and the knowledge states of any agent — speaker, hearer, or third parties — any of these in the past, present, or future — and any logical combination of these, including formul...
متن کاملA First-order Theory of Communication and Multi-agent Plans
This paper presents a theory expressed in first-order logic for describing and supporting inference about action, knowledge, planning, and communication, in an egalitarian multi-agent setting. The underlying ontology of the theory uses a situation-based temporal model and a possible-worlds model of knowledge. It supports plans and communications of a very general kind, both informative communic...
متن کاملA First Order Theory of Planning, Knowledge, and Action
Most AI planners work on the assumption that they have complete knowledge of their problem domain and situation so that planning an action consists of searching for an action sequence that achieves some desired goal. In actual planning situations, we rarely know enough to map out a detailed plan of action when we start out. Instead, we initially draw up a sketchy plan and fill in details as we ...
متن کاملA First-Order Theory of Communicating First-Order Formulas
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of events, including other communicative acts; and the knowledge states of any agent — speaker, hearer, or third parties — any of these in the past, present, or future — and any logical combination of these, including formul...
متن کاملA First-Order Theory of Communication and Multi-Agent Plans: Appendix A
This document is appendix A to the paper, “A First-Order Theory of Communication and MultiAgent Plans” by E. Davis and L. Morgenstern, to appear in Journal of Logic and Computation (henceforth, in this appendix, PLAN). In this appendix we first sketch the minor difference between the theory of action, knowledge, and communication given in PLAN and that given in the paper “Knowledge and Communic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Artificial Intelligence
سال: 2005
ISSN: 0004-3702
DOI: 10.1016/j.artint.2005.05.002